机译:基于模式的自动并行代码生成框架的正式规范和实现
机译:从Auml图自动生成测试序列:对代理交互协议的形式验证
机译:基于一阶Reed-Muller码的I型和II型混合ARQ协议的设计与实现
机译:基于形式化建模和自动代码生成实现WebSocket协议
机译:基于usrps和gnu无线电的编解码协作通信协议的实现。
机译:紧急医疗调度员主观能力的确定能力该时间基于医疗人员派遣数据根据医疗优先调度系统自动协议的推荐编码确定何时需要保证更高的调度水平
机译:基于形式化建模和自动代码生成实现WebSocket协议
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。